We give an example of a countable theory $T$ such that for every cardinal $\lambda \geq \aleph_2$ there is a fully indiscernible set $A$ of power $\lambda$ such that the principal types are dense over $A$, yet there is no atomic model of $T$ over $A$. In particular, $T$ is a theory of size $\lambda$ where the principal types are dense, yet $T$ has no atomic model.

A class K of structures is controlled if for all cardinals λ, the relation of L∞,λ-equivalence partitions K into a set of equivalence classes . We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled 69–88).

Given a sequence {a n } in (0,1) converging to a rational, we examine the model theoretic properties of structures obtained as limits of Shelah-Spencer graphs G(m, m -αn ). We show that in most cases the model theory is either extremely well-behaved or extremely wild, and characterize when each occurs.

A class K of structures is controlled if, for all cardinals λ, the relation of L ∞,λ-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive linear orders is controlled, while any pseudo-elementary class with the ω-independence property is not controlled.

We define a new topology on the space of strong types of a given theory and use it to state an omitting types theorem for countably saturated models of the theory. As an application we show that if T is a small, stable theory of finite weight such that every elementary extension of the countably saturated model is ω-saturated then every weakly saturated model is ω-saturated.

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. forcing notion Q such that, in any Q-generic extension of the universe, there are non-isomorphic models M 1 and M 2 of T that can be forced isomorphic by a c.c.c. forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `c.c.c.' is replaced by other cardinal-preserving adjectives. We also give (...) an example showing that membership in a pseudo-elementary class can be altered by very simple cardinal-preserving forcings. (shrink)

We explore the existence and the size of infinite models of categorical theories having cardinality less than the size of the associated Tarski-Lindenbaum algebra. Restricting to totally transcendental, categorical theories we show that “Every tiny model is countable” is independent of ZFC. IfT is trivial there is at most one tiny model, which must be the algebraic closure of the empty set. We give a new proof that there are no tiny models ifT is not totally transcendental and is non-trivial.